Section: Dissemination

Popularization

Benedikt Bollig gave an invited talk at the German Workshop “Automaten und Logik”, held on September 25, 2013, in Ilmenau.

Paul Gastin has given a talk on "Automates: Applications et Algorithmique" during the Rencontres Algorithmiques et Programmation, addressing secondary teachers of the classes préparatoires level, at CIRM Marseille, 6 to 10 May. He also gave an invited talk on Evaluation of Weighted Specifications over Nested Words for the opening of the research training group Quantitative Logics and Automata (QuantLa), Leipzig, on April 30.